Vector logic - PDFSEARCH.IO - Document Search Engine

Vector logic
Results: 92

#	Item
51	c 2001 Society for Industrial and Applied Mathematics SIAM J. SCI. COMPUT. Vol. 22, No. 6, pp. 2093–2108 Add to Reading List Source URL: www.math.nyu.edu Language: English - Date: 2006-01-22 02:32:06 Mathematics Multipole expansion Vector calculus Symbol Spherical harmonics Multipole moment Linear temporal logic Spectral theory of ordinary differential equations Mathematical analysis Calculus Potential theory
52	Package ‘SBRect’ July 20, 2014 Version 0.26 Date[removed]Title Detecting structural breaks using rectangle covering (non-parametric method). Author Paul Fischer [aut, cre, cph],Astrid Hilbert [ctb, cph] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-20 15:17:33 Mathematical optimization Algorithm Mathematical logic Genetic algorithm Vector space Hindley–Milner Mathematics Algebra Theoretical computer science
53	Analyzing and Synthesizing Genomic Logic Functions Nicola Paoletti1,2 , Boyan Yordanov1 , Youssef Hamadi1 , Christoph M. Wintersteiger1 , and Hillel Kugler1 2 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-07-21 10:16:41 Vectors Abstract algebra Group theory Vector space Algebra Mathematics Linear algebra
54	Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger Youssef Hamadi Leonardo de Moura Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-07-29 11:34:28 Model theory Predicate logic Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem True quantified Boolean formula Skolem normal form Logic Theoretical computer science Mathematical logic
55	FMSD manuscript No. (will be inserted by the editor) Ranking Function Synthesis for Bit-Vector Relations Byron Cook · Daniel Kroening · Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-07-29 07:28:39 Linear algebra Logic in computer science Proof theory Functions and mappings Vector space Function Presburger arithmetic Linear programming Euclidean vector Mathematics Algebra Abstract algebra
56	Ranking Function Synthesis for Bit-Vector Relations? Byron Cook1 , Daniel Kroening2 , Philipp R¨ ummer2 , and 3 Christoph M. Wintersteiger Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-03-15 15:38:19 Elementary mathematics Logic in computer science Operations research Functions and mappings Presburger arithmetic Vector space Linear programming Function Polynomial Mathematics Algebra Linear algebra
57	FMSD manuscript No. (will be inserted by the editor) Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger · Youssef Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:41:59 Model theory Predicate logic Logic in computer science Quantification NP-complete problems Satisfiability Modulo Theories True quantified Boolean formula Skolem normal form FO Logic Theoretical computer science Mathematical logic
58	Notes for ENEE 664: Optimal Control Andr´e L. Tits DRAFT July 2013 Add to Reading List Source URL: www.ece.umd.edu Language: English - Date: 2013-07-07 10:38:05 Mathematical optimization Calculus of variations Optimal control Optimization problem Vector space Linear programming Linear temporal logic Algebra Mathematics Operations research
59	Paper AD02 Solving Samurai Sudoku Puzzles – A First Attempt John R Gerlach, CSG Inc., Raleigh, NC USA ABSTRACT Imagine a Sudoku puzzle that consists of a 9x9 matrix having about 30 out of 81 cells populated. Now, imag Add to Reading List Source URL: www.pharmasug.org Language: English - Date: 2013-05-05 15:10:29 Puzzles Logic puzzles NP-complete problems Linear algebra Sudoku Matrix Vector space Sudoku algorithms Combination puzzle Mathematics Algebra Recreational mathematics
60	March 10, 2003 Errata (comments; ﬁx-up of typos and errors) to Krzysztof Ciesielski, Set Theory for the Working Mathematician, London Math Society Student Texts 39, Cambridge University Press, [removed]ni means page n li Add to Reading List Source URL: www.math.wvu.edu Language: English - Date: 2003-03-10 14:09:13 Continuous function General topology Ordinal numbers Forcing Functional analysis Transfinite induction Locally convex topological vector space Mathematics Mathematical logic Constructible universe